type A = unique symbol;
